Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
991	Microsoft Word - GISRUK_2015_IsVGIBigData_acw Add to Reading List Source URL: leeds.gisruk.org Language: English - Date: 2015-04-19 18:22:06 Science Data management Collaborative mapping Volunteered geographic information Web mapping Geographic information system Data mining Geospatial analysis Twitter Technology Cartography Formal sciences
992	Extinguished philosophies lie about the cradle of every science as the strangled snakes beside that of Hercules. - adapted from T. H. Huxley 1 WHAT IS ARTIFICIAL INTELLIGENCE? Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2007-11-12 05:08:13 Knowledge Alan Turing Computational neuroscience Open problems Turing test Computing Machinery and Intelligence Computer chess Chinese room Applications of artificial intelligence Science Philosophy of artificial intelligence Artificial intelligence
993	Combining a Formal with an Example-driven Approach for Data Integration Ingolf Geist Kai-Uwe Sattler Ingo Schmitt Department of Computer Science Add to Reading List Source URL: fusion.cs.uni-magdeburg.de Language: English - Date: 2002-10-04 04:13:20 Information Database management systems Federated database system Database schema Data integration Data model EXPRESS Data mapping Schema matching Data management Data modeling Data
994	Manifest Security Karl Crary Robert Harper Frank Pfenning Carnegie Mellon University Benjamin C. Pierce Stephanie Weirich Stephan Zdancewic University of Pennsylvania January 2007 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-02-05 13:01:30 Proof theory Non-classical logic Philosophical logic Logical syntax Computer security Modal logic Mathematical proof Linear logic Formal verification Logic Mathematics Logic in computer science
995	Dr. Tom Gruber’ s (Co-founder and Chief Technical Officer of Intraspect Software) Interview For the Official Quarterly Bulletin of AIS Special Interest Group on Semantic Web and Information Systems, Volume 1, Issue 3, Add to Reading List Source URL: tomgruber.org Language: English - Date: 2012-01-26 21:30:22 Semantic Web Information science Technical communication Knowledge Knowledge engineering Formal ontology Tom Gruber Upper ontology Agricultural Ontology Service Ontology Information Science
996	WP 0.4 (Draft Manual) WP Plug-in (Draft) Manual Version 0.4 for NitrogenLoïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:56 Predicate transformer semantics Software Logic in computer science Hoare logic Frama-C Precondition Lambert W function Program logic Theoretical computer science Formal methods
997	Recursive Cellular Automata Invariant Sets Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:30:37 Discrete mathematics Theoretical computer science Formal languages Ergodic theory Subshift of finite type Shift space Recursively enumerable set Dynamical system Cellular automaton Combinatorics on words Mathematics Automata theory
998	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.case.edu Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
999	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.salud.gob.sv Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
1000	String Suffix Automata and Subtree Pushdown Automata Add to Reading List Source URL: www.stringology.org Language: English - Date: 2009-09-02 12:00:50 Formal languages Computer science Mathematics Deterministic pushdown automaton Pushdown automaton Tree automaton Alphabet A Automata theory Models of computation Theoretical computer science

UPDATE